@misc(HadoopOnline,
 author       = {{Apache Hadoop}},
 howpublished = {\url{http://hadoop.apache.org/}},
)
@misc(SparkOnline,
 author       = {{Apache Spark}},
 howpublished = {\url{http://spark.apache.org/}},
)
@misc(NASA,
 author       = {{Applying Apache Hadoop to NASA's Big Climate Data}},
 howpublished = {\url{http://events.linuxfoundation.org/sites/events/files/slides/ApacheCon\_NASA\_Hadoop.pdf}},
)
@article(Real-Time2017,
 author       = {D. Chen and Y. Chen and B. N. Brownlow and P. P. Kanjamala and C. A. G. Arredondo and B. L. Radspinner and M. A. Raveling},
 year         = {2017},
 title        = {{Real-Time or Near Real-Time Persisting Daily Healthcare Data Into HDFS and ElasticSearch Index Inside a Big Data Platform}},
 journal      = {IEEE Transactions on Industrial Informatics},
 volume       = {13},
 number       = {2},
 pages        = {595--606},
 doi          = {10.1109/TII.2016.2645606},
)
@book(Cheng2002,
 author       = {A.M. K. Cheng},
 year         = {2002},
 title        = {Real-Time Systems: Scheduling, Analysis, and Verification},
 publisher    = {John Wiley \& Sons, Inc.},
 doi          = {10.1002/0471224626},
)
@incollection(Performance2015,
 author       = {S.-T. Cheng and H.-C. Wang and Y.-J. Chen and C.-F. Chen},
 year         = {2015},
 title        = {{Performance Analysis Using Petri Net Based MapReduce Model in Heterogeneous Clusters}},
 booktitle    = {Advances in Web-Based Learning},
 series       = {LNCS},
 volume       = {8390},
 publisher    = {Springer},
 pages        = {170--179},
 doi          = {10.1007/978-3-662-46315-4\_18},
)
@inproceedings(Dinu:2012,
 author       = {F. Dinu and T.S. E. Ng},
 year         = {2012},
 title        = {{Understanding the Effects and Implications of Compute Node Related Failures in Hadoop}},
 booktitle    = {International Symposium on High-Performance Parallel and Distributed Computing},
 pages        = {187--198},
 doi          = {10.1145/2287076.2287108},
)
@inproceedings(WOHA2014,
 author       = {S. Li and S. Hu and S. Wang and L. Su and T. Abdelzaher and I. Gupta and R. Pace},
 year         = {2014},
 title        = {{WOHA: Deadline-Aware Map-Reduce Workflow Scheduling Framework over Hadoop Clusters}},
 booktitle    = {IEEE International Conference on Distributed Computing Systems},
 pages        = {93--103},
 doi          = {10.1109/ICDCS.2014.18},
)
@inproceedings(OnoCoq2011,
 author       = {K. Ono and Y. Hirai and Y. Tanabe and N. Noda and M. Hagiya},
 year         = {2011},
 title        = {{Using Coq in Specification and Program Extraction of Hadoop Mapreduce Applications}},
 booktitle    = {International Conference on Software Engineering and Formal Methods},
 pages        = {350--365},
 doi          = {10.1007/978-3-642-24690-6_24},
)
@misc(OpenCloud,
 author       = {OpenCloud},
 howpublished = {\url{http://ftp.pdl.cmu.edu/pub/datasets/hla/dataset.html}},
)
@inproceedings(RAFT2011,
 author       = {Quian\IeC{\'e}-Ruiz, J. A. and \textit{et al.}},
 year         = {2011},
 title        = {{RAFTing MapReduce: Fast Recovery on the RAFT}},
 booktitle    = {IEEE International Conference on Data Engineering},
 pages        = {589--600},
 doi          = {10.1109/ICDE.2011.5767877},
)
@inproceedings(Towards-Reddy2013,
 author       = {G.S. Reddy and F. Yuzhang and L. Yang and S.D. Jin and J. Sun and R. Kanagasabai},
 year         = {2013},
 title        = {{Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop}},
 booktitle    = {International World Congress on Services},
 pages        = {306--311},
 doi          = {10.1109/SERVICES.2013.47},
)
@inproceedings(Petrinets2015,
 author       = {M. C. Ruiz and J. Calleja and D. Cazorla},
 year         = {2015},
 title        = {{Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff}},
 booktitle    = {IEEE Trustcom/BigDataSE/ISPA},
 volume       = {3},
 pages        = {92--99},
 doi          = {10.1109/Trustcom.2015.617},
)
@article(SOUALHIA2017,
 author       = {M. Soualhia and F. Khomh and S. Tahar},
 year         = {2017},
 title        = {{Task Scheduling in Big Data Platforms: A Systematic Literature Review}},
 journal      = {Journal of Systems and Software},
 volume       = {134},
 pages        = {170 -- 189},
 doi          = {10.1016/j.jss.2017.09.001},
)
@inproceedings(Su2009,
 author       = {W. Su and F. Yang and H. Zhu and Q. Li},
 year         = {2009},
 title        = {{Modeling MapReduce with CSP}},
 booktitle    = {IEEE International Symposium on Theoretical Aspects of Software Engineering},
 pages        = {301--302},
 doi          = {10.1109/TASE.2009.28},
)
@inproceedings(CSP,
 author       = {J. Sun and Y. Liu and J. S. Dong and C. Chen},
 year         = {2009},
 title        = {{Integrating Specification and Programs for System Modeling and Verification}},
 booktitle    = {IEEE International Symposium on Theoretical Aspects of Software Engineering},
 pages        = {127--135},
 doi          = {10.1109/TASE.2009.32},
)
@inproceedings(Sun2009,
 author       = {J. Sun and Y. Liu and J. S. Dong and J. Pang},
 year         = {2009},
 title        = {{PAT: Towards Flexible Verification under Fairness}},
 booktitle    = {Computer Aided Verification},
 series       = {LNCS},
 volume       = {5643},
 pages        = {709--714},
 doi          = {10.1007/3-540-10843-2_22},
)
@misc(PAT,
 author       = {{P}rocess {A}nalysis {T}oolkit},
 howpublished = {\url{http://sav.sutd.edu.sg/PAT/}},
)
@misc(Google,
 author       = {{G}oogle {T}races},
 howpublished = {\url{https://github.com/google/cluster-data}},
)
@misc(Facebook,
 author       = {{F}acebook {T}races},
 howpublished = {\url{https://github.com/SWIMProjectUCB/SWIM/wiki/Workloads-repository}},
)
@misc(Wordcount2015,
 author       = {{WordCount Example}},
 howpublished = {\url{http://wiki.apache.org/hadoop/WordCount}},
)
@inproceedings(Xie2016,
 author       = {W. Xie and H. Zhu and X. Wu and S. Xiang and J. Guo},
 year         = {2016},
 title        = {{Modeling and Verifying HDFS Using CSP}},
 booktitle    = {IEEE Annual Computer Software and Applications Conference},
 volume       = {1},
 pages        = {221--226},
 doi          = {10.1109/COMPSAC.2016.158},
)